Comprehensive Monitor-Oriented Compensation Programming
نویسندگان
چکیده
منابع مشابه
Comprehensive Monitor-Oriented Compensation Programming
Compensation programming is typically used in the programming of web service compositions whose correct implementation is crucial due to their handling of security-critical activities such as financial transactions. While traditional exception handling depends on the state of the system at the moment of failure, compensation programming is significantly more challenging and dynamic because it i...
متن کاملMonitor-Oriented Compensation Programming Through Compensating Automata
Compensations have been used for decades in areas such as flow management systems, long-lived transactions and more recently in the service-oriented architecture. Since compensations enable the logical reversal of past actions, by their nature they crosscut other programming concerns. Thus, intertwining compensations with the rest of the system not only makes programs less well-structured, but ...
متن کاملOn Implementing a Monitor-Oriented Programming Framework for Actor Systems
We examine the challenges of implementing a framework for automating Monitor-Oriented Programming in the context of actor-based systems. The inherent modularity resulting from delineations induced by actors makes such systems well suited to this style of programming because monitors can surgically target parts of the system without affecting the computation in other parts. At the same time, act...
متن کاملDelta-Oriented Monitor Specification
Delta-oriented programming allows software developers to define software product lines as variations of a common code base, where variations are expressed as so-called program deltas. Monitor-oriented programming (MOP) provides a mechanism to execute functionality based on the execution history of the program; this is useful, e.g., for the purpose of runtime verification and for enforcing secur...
متن کاملDo Mutual Fund Managers Monitor Executive Compensation?
We find significant relations between active mutual fund portfolio holdings and executive compensation, which appear to be largely driven by mutual fund investment styles rather than monitoring behaviour. Aggressive growth fund holdings are associated with performance pay, while income fund holdings are negatively related. We also find that mutual fund holdings are insensitive to changes in exe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2014
ISSN: 2075-2180
DOI: 10.4204/eptcs.147.4